

\functions {
	int a; int b; int c; int d;
}

\problem {
	2*a <= 1
->
	(3*a = 3 <-> false)
}


